#!/bin/bash
TOP=`pwd`

# EXAMPLE: 
# cd $TOP/device/intel/kboot
# patch -Np1 < $TOP/001_device_intel_kboot.patch
# 
# cd $TOP/vendor/intel/oaktrail
# patch -Np1 < $TOP/002_device_intel_oaktrail.patch
# patch -Np1 < $TOP/003_device_intel_oaktrail.patch
#

